rationals $\in$ Type